- endlich-axiomatisierbar
- endlich-axiomatisierbar,Eigenschaft einer mathematischen Theorie, für die eine endliche Menge von Axiomen ausreicht, um daraus alle Sätze dieser Theorie abzuleiten.
Universal-Lexikon. 2012.
endlich-axiomatisierbar
Schlagen Sie auch in anderen Wörterbüchern nach:
Albert Thoralf Skolem — (* 23. Mai 1887 in Sandsvaer; † 23. März 1963 in Oslo) war ein norwegischer Mathematiker, Logiker und Philosoph. Seine Arbeiten lieferten grundlegende Resultate zur mathematischen Logik, insbesondere zu den Bereichen Modelltheorie und… … Deutsch Wikipedia
Skolem — Albert Thoralf Skolem (* 23. Mai 1887 in Sandsvaer; † 23. März 1963 in Oslo) war ein norwegischer Mathematiker, Logiker und Philosoph. Seine Arbeiten lieferten grundlegende Resultate zur mathematischen Logik, insbesondere zu den Bereichen… … Deutsch Wikipedia
Thoralf Skolem — Albert Thoralf Skolem (* 23. Mai 1887 in Sandsvaer; † 23. März 1963 in Oslo) war ein norwegischer Mathematiker, Logiker und Philosoph. Seine Arbeiten lieferten grundlegende Resultate zur mathematischen Logik, insbesondere zu den Bereichen… … Deutsch Wikipedia
Reflexionsprinzip (Mengenlehre) — Das Reflexionsprinzip ist ein mathematischer Satz aus dem Gebiet der Mengenlehre. Die Kernaussage lautet, dass es keinen in der Sprache der Mengenlehre formulierbaren Satz über das Mengenuniversum gibt, der nicht bereits in einer geeigneten Menge … Deutsch Wikipedia
-theorie — Reichweite von Theorien Eine Theorie ist ein vereinfachtes Bild eines Ausschnitts der Realität, der mit diesem Bild beschrieben und erklärt werden soll, um auf dieser Grundlage möglicherweise Prognosen zu machen und Handlungsempfehlungen zu geben … Deutsch Wikipedia
Theoretiker — Reichweite von Theorien Eine Theorie ist ein vereinfachtes Bild eines Ausschnitts der Realität, der mit diesem Bild beschrieben und erklärt werden soll, um auf dieser Grundlage möglicherweise Prognosen zu machen und Handlungsempfehlungen zu geben … Deutsch Wikipedia
Theoretisch — Reichweite von Theorien Eine Theorie ist ein vereinfachtes Bild eines Ausschnitts der Realität, der mit diesem Bild beschrieben und erklärt werden soll, um auf dieser Grundlage möglicherweise Prognosen zu machen und Handlungsempfehlungen zu geben … Deutsch Wikipedia
Theorie — Reichweite von Theorien Eine Theorie ist ein vereinfachtes Bild eines Ausschnitts der Realität, der mit diesem Bild beschrieben und erklärt werden soll, um auf dieser Grundlage möglicherweise Prognosen zu machen und Handlungsempfehlungen zu geben … Deutsch Wikipedia
Mehrweritge Logiken — Mehrwertige Logik ist ein Oberbegriff für alle logischen Systeme, die mehr als zwei Wahrheitswerte verwenden. Ausgangspunkt für die Entwicklung mehrwertiger Logiken war die erkenntnistheoretische Frage, ob dem Prinzip der Zweiwertigkeit… … Deutsch Wikipedia
Mehrwertige Logik — ist ein Oberbegriff für alle logischen Systeme, die mehr als zwei Wahrheitswerte verwenden. Ausgangspunkt für die Entwicklung mehrwertiger Logiken war die erkenntnistheoretische Frage, ob dem Prinzip der Zweiwertigkeit außerlogische Wahrheit… … Deutsch Wikipedia
